\footnotesize{
\begin{verbatim}
SCHEMA: 

TABLE: board
COLUMNS:
<[NAME: x, TYPE: INTEGER],[NAME: y, TYPE: INTEGER],[NAME: id, TYPE: INTEGER]>
TABLE CONSTRAINTS:
<[PRIMARY KEY: <[Name: x],[Name: y]>],[FOREIGN KEY: <[Name: id]> REFERENCES 
<[Name: id]> OF player]>
ROWS = 2

VIEW: checked
COLUMNS:
<[Name: id]>
QUERY:{
  SELECT : (p.id)
  FROM: [<player as p>]
  WHERE : (EXISTS ({SELECT : (n.id)
		    FROM: [<nowPlaying as n>]
		    WHERE : (n.id == p.id)
		    GROUP BY : 
		    HAVING : 
	  }) and (not EXISTS ({SELECT : (b1.x,b1.y,b1.id)
				FROM: [<board as b1>]
				WHERE : ((b1.id == p.id) and 
					(not EXISTS ({SELECT : (b2.x,b2.y,b2.id)
						      FROM: [<board as b2>]
						      WHERE : ((((b2.x - b1.x) * (b2.y - b1.y)) == 0)
							      and (b1.id != b2.id))
						      GROUP BY : 
						      HAVING : 
						      })))
				GROUP BY : 
				HAVING : 
				})))
  GROUP BY : 
  HAVING : 
}

VIEW: nowPlaying
COLUMNS:
<[Name: id]>
QUERY:{
  SELECT : (p.id)
  FROM: [<player as p>]
  WHERE : EXISTS ({SELECT : (b.x,b.y,b.id)
		    FROM: [<board as b>]
		    WHERE : (b.id == p.id)
		    GROUP BY : 
		    HAVING : 
		  })
  GROUP BY : 
  HAVING : 
}

TABLE: player
COLUMNS:
<[NAME: id, TYPE: INTEGER]>
TABLE CONSTRAINTS:
<[PRIMARY KEY: <[Name: id]>]>
ROWS = 2
\end{verbatim}
}